
#include <assert.h>
#include "PQfull.h"

int main(int argc, char *argv[]) {
    PQ pq = PQinit();
    assert(PQempty(pq) != 0);
    PQinsert(pq, 'B');
    PQinsert(pq, 'E');
    assert(PQdelmax(pq) == 'E');
    PQinsert(pq, 'S');
    PQinsert(pq, 'T');
    PQinsert(pq, 'I');
    assert(PQdelmax(pq) == 'T');
    PQinsert(pq, 'N');
    assert(PQdelmax(pq) == 'S');
    PQinsert(pq, 'F');
    PQinsert(pq, 'I');
    PQinsert(pq, 'R');
    assert(PQdelmax(pq) == 'R');
    PQinsert(pq, 'S');
    PQinsert(pq, 'T');
    assert(PQdelmax(pq) == 'T');
    assert(PQdelmax(pq) == 'S');
    PQinsert(pq, 'O');
    PQinsert(pq, 'U');
    assert(PQdelmax(pq) == 'U');
    PQinsert(pq, 'T');
    assert(PQdelmax(pq) == 'T');
    assert(PQdelmax(pq) == 'O');
    assert(PQdelmax(pq) == 'N');
    assert(PQdelmax(pq) == 'I');
    assert(PQdelmax(pq) == 'I');
    assert(PQdelmax(pq) == 'F');
    assert(PQdelmax(pq) == 'B');
    return 0;
}